assert : x === y
